Default logic - PDFSEARCH.IO - Document Search Engine

Default logic
Results: 67

#	Item
51	Chapter 1 Assumption-Based Argumentation Phan Minh Dung, Robert A. Kowalski, and Francesca Toni 1.1 Introduction Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2008-12-06 04:26:12 Critical thinking Arguments Reasoning Argumentation theory Argument Inference Default logic Defeasible reasoning Counterargument Logic Science Knowledge
52	Artificial Intelligence Artificial Intelligence[removed]101 An abstract, argumentation-theoretic to default reasoning Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2010-02-24 04:12:43 Non-classical logic Logical consequence Philosophical logic Non-monotonic logic Default logic Autoepistemic logic Negation as failure Stable model semantics Entailment Logic Mathematical logic Logic programming
53	235 Abduction Compared with Negation by Failure Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2012-05-01 12:54:56 Reasoning Non-classical logic Deduction Knowledge representation Abductive reasoning Stable model semantics Non-monotonic logic Default logic Negation Logic Science Logic programming
54	How to be Artificially Intelligent (draft) Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2010-11-21 04:44:04 Philosophical logic Critical thinking Argumentation theory Abductive reasoning Reason Argument Modal logic Knowledge representation and reasoning Default logic Logic Science Reasoning
55	A resource bounded default logic Gregory R. Wheeler∗ Centro de Inteligˆencia Artificial (CENTRIA) Departamento de Inform´atica, Universidade Nova de Lisboa[removed]Caparica, Portugal [removed] Add to Reading List Source URL: gregorywheeler.org Language: English - Date: 2010-09-19 10:34:21 Model theory Proof theory Entailment Metalogic Default logic Inference Soundness Monotonicity of entailment First-order logic Logic Logical consequence Deduction
56	Epistemology and Artificial Intelligence Gregory R. Wheeler and Lu´ıs Moniz Pereira Centro de Inteligˆencia Artificial (CENTRIA) Departamento de Inform´atica, Universidade Nova de Lisboa[removed]Caparica, Portugal { Add to Reading List Source URL: gregorywheeler.org Language: English - Date: 2010-09-19 10:32:27 Logical consequence Deduction Branches of philosophy Reasoning Logic programming Epistemology Inference Default logic Statistical inference Logic Science Knowledge
57	An Implementation of Statistical Default Logic Gregory R. Wheeler and Carlos Dam´asio Centro de Inteligˆencia Artificial (CENTRIA) Departamento de Inform´ atica, Universidade Nova de Lisboa[removed]Caparica, Portugal Add to Reading List Source URL: gregorywheeler.org Language: English - Date: 2010-09-19 10:32:17 Non-classical logic Boolean algebra Default logic Knowledge representation Propositional calculus Stable model semantics First-order logic Answer set programming Well-formed formula Logic Mathematical logic Logic programming
58	Gregory Wheeler Munich Center for Mathematical Philosophy Ludwig Maximilian University of Munich Geschwister-Scholl-Platz[removed]Munich, germany Email: [removed] Add to Reading List Source URL: gregorywheeler.org Language: English - Date: 2014-04-15 16:47:35 Epistemology Gregory Wheeler Formal epistemology Probabilistic logic Lottery paradox Henry E. Kyburg Jr. Journal of Philosophical Logic Colin Howson Default logic Logic Non-classical logic Science
59	AUTOEPISTEMIC MODAL LOGICS Add to Reading List Source URL: www.tark.org Language: English - Date: 2011-10-23 10:31:56 Non-classical logic Model theory Logic programming Philosophical logic Kripke semantics Default logic Interpretation Propositional calculus Autoepistemic logic Logic Mathematical logic Modal logic
60	Nonmonotonie default modal logics (Detailed abstract) Add to Reading List Source URL: www.tark.org Language: English - Date: 2011-10-23 10:31:56 Logic programming Modal logic Philosophical logic Reasoning Default logic Non-monotonic logic Autoepistemic logic First-order logic Inference Logic Mathematical logic Non-classical logic

UPDATE